The ultimate control flow transfer in a Java based smart card

Developing Smart Card-Based Applications Using Java Card

In this paper we describe a methodology for developing smart card-based applications which accounts for both internal and external software production: on-card and client programs. This development methodology is based on the application of distributed object-oriented principles to Java Card. We design a model in which a card application is viewed as a remote object accessed through method invo...

Side Channel Analysis of a Java-­based Contactless Smart Card

Lessons learned on implementing ECDSA on a Java smart card

Many companies have designed and manufactured smart cards, which vary greatly in both the hardware they use and software development environments they provide. Java Card promises to make smart card programming easier, by introducing a common programming language and run–time environment. Also as a member of the Java family, Java Card raises up hopes of easy software portability from PCs to smar...

Voting using Java Card smart cards (a case study)

Embedding Formal Development into a Smart Card : The Java Card Byte Code verifier case study

The Java security policy is implemented by security components such as the Java Virtual Machine (JVM), the API, the verifier, the loader. It is of prime importance to ensure that the implementation of these components is in accordance with their specifications. Formal methods can be used to bring the mathematical proof that the implementation of these components corresponds to their specificati...